Search Tools And Algorithms For The Construction And Analysis Of Systems

Showing 11 - 20 of 33 results for Tools and Algorithms for the Construction and Analysis of Systems

Sort by

Tools and Algorithms for the Construction and Analysis of Systems

by Marsha Chechik

ISBN13: 9783662496749

ISBN10: 3662496747

Format: Nonspecific Binding
List Price: ~~$145.30~~

We're Sorry.
No Options Available at This Time.
Tools and Algorithms for the Construction and Analysis of Systems

by Axel Legay

ISBN13: 9783662545775

ISBN10: 3662545772

Format: Nonspecific Binding
List Price: ~~$131.97~~

We're Sorry.
No Options Available at This Time.
Tools and Algorithms for the Construction and Analysis of Systems

by Biere, Armin; Parker, David

ISBN13: 9783030452360

ISBN10: 3030452360

Format: Paperback
List Price: ~~$49.99~~ Save up to $49.99
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems

by Axel Legay

ISBN13: 9783662545805

ISBN10: 3662545802

Format: Nonspecific Binding
List Price: ~~$113.29~~

We're Sorry.
No Options Available at This Time.
Tools and Algorithms for the Construction and Analysis of Systems

by Christel Baier

ISBN13: 9783662466810

ISBN10: 3662466813

Format: Nonspecific Binding
List Price: ~~$118.64~~

We're Sorry.
No Options Available at This Time.
Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

by Cleaveland, W. Rance

ISBN13: 9783540657033

ISBN10: 3540657037

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems

by Tacas 2000; Graf, Susanne; Schwartzbach, Michael I.

ISBN13: 9783540672821

ISBN10: 3540672826

Format: Paperback
List Price: ~~$129.99~~ Save up to $129.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems

by Katoen, Joost-Pieter; Stevens, Perdita; TACAS 200 (2002 GRENOBLE, FRANCE)

ISBN13: 9783540434191

ISBN10: 3540434194

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems

by Tacas 200 (2001 Genoa, Italy); Yi, Wang

ISBN13: 9783540418658

ISBN10: 3540418652

Format: Paperback
List Price: ~~$159.00~~ Save up to $159.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003, Proceedings

by Tacas 200 (2003 Warsaw, Poland); Garavel, Hubert; Hatcliff, John

ISBN13: 9783540008989

ISBN10: 3540008985

Format: Paperback
List Price: ~~$169.00~~ Save up to $169.00
- Marketplace
  
  See Prices

Rent More, Save More! Use code: ECRENTAL

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003, Proceedings